(CompNatInd ({-}1))